Sensitivity analysis and model optimization for reaction-diffusion systems

This paper presents a computational framework for the optimization and sensitivity analysis of a process whose state depends upon several parameter functions. Assuming that the process is described by a system of quasilinear, parabolic, partial differential equations, we show how determining the problem parameters so as to improve an associated objective functional is directly related to knowing the state function sensitivities. An expression for the gradient of the objective functional in terms of the solutions of an adjoint system enables one to bypass the calculation of state function sensitivities. These concepts are illustrated for a simple model of cooperative processes in chemical kinetics. Since sensitivity analysis and model optimization are important tools for investigating parameter dependence and validating mathematical models, research developments in such diverse fields as optimal design theory, chemical kinetics, and parameter identification are important motivations for this paper.This author would like to gratefully acknowledge Dr. M. Delle Donne, EGG, for several helpful discussions.This author was partially supported by NSF Grant No. CMS-80-05677.     

Bool阵的逆阵

We give a characterization of a regular Boolean matrix and prove that AB = I Implies that BA = I, where A and B are Boolean matrices whose elements belong to a Boolean algebra of a set with more than two elements.     

A note on Berge-Fulkerson coloring

The Berge-Fulkerson Conjecture states that every cubic bridgeless graph has six perfect matchings such that every edge of the graph is contained in exactly two of these perfect matchings. In this paper, a useful technical lemma is proved that a cubic graphGadmits a Berge-Fulkerson coloring if and only if the graphGcontains a pair of edge-disjoint matchingsM₁andM₂ such that (i) M₁∪M₂induces a 2-regular subgraph ofG and (ii) the suppressed graph, the graph obtained fromG?M_iby suppressing all degree-2-vertices, is 3-edge-colorable for eachi=1,2. This lemma is further applied in the verification of Berge-Fulkerson Conjecture for some families of non-3-edge-colorable cubic graphs (such as, Goldberg snarks, flower snarks).     

Degree conditions for group connectivity

Let G be a 2-edge-connected simple graph on n≥13 vertices and A an (additive) abelian group with |A|≥4. In this paper, we prove that if for every uv∉E(G), max{d(u),d(v)}≥n/4, then either G is A-connected or G can be reduced to one of K_2,3,C₄ and C₅ by repeatedly contracting proper A-connected subgraphs, where C_k is a cycle of length k. We also show that the bound n≥13 is the best possible.     

Matrix-valued radial basis functions: stability estimates and applications

Radial basis functions (RBFs) have found important applications in areas such as signal processing, medical imaging, and neural networks since the early 1980s. Several applications require that certain physical properties are satisfied by the interpolant, for example, being divergence-free in case of incompressible data. In this paper we consider a class of customized (e.g., divergence-free) RBFs that are matrix-valued and have compact support; these are matrix-valued analogues of the well-known Wendland functions. We obtain stability estimates for a wide class of interpolants based on matrix-valued RBFs, also taking into account the size of the compact support of the generating RBF. We conclude with an application based on an incompressible Navier–Stokes equation, namely the driven-cavity problem, where we use divergence-free RBFs to solve the underlying partial differential equation numerically. We discuss the impact of the size of the support of the basis function on the stability of the solution. AMS subject classification 65D05     

Spaces on which every pointwise convergent series of continuous functions converges pseudo-normally

A topological space is a -space provided that, for every sequence of continuous functions from to , if the series converges pointwise, then it converges pseudo-normally. We show that every regular Lindelöf -space has the Rothberger property. We also construct, under the continuum hypothesis, a -subset of of cardinality continuum.

     

Spanning Trails Connecting Given Edges

Suppose that is the set of connected graphs such that a graph G if and only if G satisfies both (F1) if X is an edge cut of G with |X|3, then there exists a vertex v of degree |X| such that X consists of all the edges incident with v in G, and (F2) for every v of degree 3, v lies in a k-cycle of G, where 2k3.In this paper, we show that if G and (G)3, then for every pair of edges e,fE(G), G has a trail with initial edge e and final edge f which contains all vertices of G. This result extends several former results.     

Infinite Matroidal Version of Hall's Matching Theorem

Hall's theorem for bipartite graphs gives a necessary and sufficientcondition for the existence of a matching in a given bipartitegraph. Aharoni and Ziv have generalized the notion of matchabilityto a pair of possibly infinite matroids on the same set andgiven a condition that is sufficient for the matchability ofa given pair (M, W) of finitary matroids, where the matroidM is SCF (a sum of countably many matroids of finite rank).The condition of Aharoni and Ziv is not necessary for matchability.The paper gives a condition that is necessary for the existenceof a matching for any pair of matroids (not necessarily finitary)and is sufficient for any pair (M, W) of finitary matroids,where the matroid M is SCF.